Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:
Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT
In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:
- come viene usata la parola
- frequenza di utilizzo
- è usato più spesso nel discorso orale o scritto
- opzioni di traduzione delle parole
- esempi di utilizzo (varie frasi con traduzione)
- etimologia
Cosa (chi) è applicative order reduction - definizione
TECHNIQUE FOR SOLVING LINEAR ORDINARY DIFFERENTIAL EQUATIONS
Reduction of Order
applicative order reduction
WIKIMEDIA DISAMBIGUATION PAGE
Reduction strategy (code optimization); Applicative order reduction; Reduction strategy (lambda calculus)
<programming> An evaluation strategy under which an
expression is evaluated by repeatedly evaluating its leftmost
innermost redex. This means that a function's arguments are
evaluated before the function is applied. This method will
not terminate if a function is given a non-terminating
expression as an argument even if the function is not strict
in that argument. Also known as call-by-value since the
values of arguments are passed rather than their names. This
is the evaluation strategy used by ML, Scheme, Hope and
most procedural languages such as C and Pascal.
See also normal order reduction, parallel reduction.
(1995-01-25)
reduction strategy
WIKIMEDIA DISAMBIGUATION PAGE
Reduction strategy (code optimization); Applicative order reduction; Reduction strategy (lambda calculus)
<theory> An algorithm for deciding which redex(es) to
reduce next. Different strategies have different termination
properties in the presence of recursive functions or values.
See string reduction, normal order reduction, {applicative
order reduction}, parallel reduction
(1995-05-09)
Reduction strategy
WIKIMEDIA DISAMBIGUATION PAGE
Reduction strategy (code optimization); Applicative order reduction; Reduction strategy (lambda calculus)
In rewriting, a reduction strategy or rewriting strategy is a relation specifying a rewrite for each object or term, compatible with a given reduction relation. Some authors use the term to refer to an evaluation strategy.
Wikipedia
Reduction of order
Reduction of order (or d’Alembert reduction) is a technique in mathematics for solving second-order linear ordinary differential equations. It is employed when one solution is known and a second linearly independent solution is desired. The method also applies to n-th order equations. In this case the ansatz will yield an (n−1)-th order equation for .
